Instance Verification Kit (IVK)
mutex lock @ [1510+31+/linux-3.19-rc1/drivers/input/serio/libps2.c]
Instance Signature: cmd_mutex
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
cypress_ps2_ext_cmd
[1624+19+/linux-3.19-rc1/drivers/input/mouse/cypress_ps2.c]
cypress_ps2_read_cmd_status
[2509+27+/linux-3.19-rc1/drivers/input/mouse/cypress_ps2.c]
fsp_page_reg_read
[5840+17+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_page_reg_write
[6670+18+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_reg_read
[2492+12+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_reg_write
[4000+13+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
ps2_begin_command
[1466+17+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_command
[6133+11+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_drain
[1934+9+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_end_command
[1650+15+/linux-3.19-rc1/drivers/input/serio/libps2.c]
psmouse_activate
[29997+16+/linux-3.19-rc1/drivers/input/mouse/psmouse-base.c]
psmouse_deactivate
[30426+18+/linux-3.19-rc1/drivers/input/mouse/psmouse-base.c]